A semantics for positive abductive programs with implicative and denial integrity constraints
نویسندگان
چکیده
We propose a semantics for positive abductive logic programs with implicative integrity constraints, in the form of implications, as well as denial integrity constraints, in the form of negated conjunctions. We argue that this semantics is better suited to deal with several applications of abductive logic programming. We prove that, in the propositional case, the existing abductive proof procedure IFF is sound and “strongly” complete w.r.t. the proposed semantics. Thus, we improve upon the existing “weak” completeness results for IFF.
منابع مشابه
A semantics for positive abductive logic programs with implicative integrity constraints
We propose a novel semantics for positive abductive logic programs with implicative integrity constraints, namely integrity constraints in the form of implications. We show that this semantics is better suited to deal with several applications of abductive logic programming. Moreover, we prove that, in the propositional case, the existing abductive proof procedure IFF is sound and “strongly” co...
متن کاملTransforming Abductive Logic Programs to Disjunctive Programs
A new xpoint semantics for abductive logic programs is provided, in which the generalized stable models of an abductive program are characterized as the xpoint of a disjunctive program obtained by a suitable program transformation. In the transformation, both negative hypotheses through negation as failure and positive hypotheses from the abducibles are dealt with uniformly. This characterizati...
متن کاملReduction of Abductive Logic Programs to Normal Logic Programs
In this paper we study a form of abductive logic programming which combines default and non-default abducibles and employs retractibles in integrity constraints. We also present a transformation from abductive to normal logic programs, which is correct and complete with respect to many semantics. These are all the semantics that can be formulated in an argumentation framework. A simpliied form ...
متن کاملIntegrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In this framework, logic programs function as an agent’s beliefs and production rules function as the agent’s goals. The semantics and proof procedures are based on abductive logic programming, in which logic programs are...
متن کاملAn Agent Language with Destructive Assignment and Model-Theoretic Semantics
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive assignment to manipulate a database, which represents the current state of the environment. The language builds...
متن کامل